Compiling a Functional Language to LLVM
danieljharvey.github.io·1d·
Discuss: Lobsters, Hacker News
🐫OCaml
Verification power of rational-valued automata with deterministic and affine states
arxiv.org·3h
🔍Formal Verification
True End-to-End Type Safety Across Your Entire TypeScript Stack
rowsana.substack.com·1d·
Discuss: r/javascript, r/programming
💎Refinement Types
The Engine to No Engine Journey
md.jtmn.dev·4h·
Discuss: Hacker News
🧱Immutable Infrastructure
The bloat of edge-case first libraries
43081j.com·11h·
Discuss: Lobsters, Hacker News
💎Refinement Types
Using RPI 5 Compute Module for FPGA Test
hackster.io·1d·
Discuss: Hacker News
🔧Unikernel Development
Rich Answered That
gist.github.com·16h·
Discuss: Lobsters, Hacker News
🧮Lambda Calculus
An Introduction to XForms
xml.com·17h·
Discuss: Hacker News
⚙️PL Implementation
Weird CPU architectures, the MOV only CPU (2020)
justanotherelectronicsblog.com·20h·
Discuss: Hacker News
⚙️PL Implementation
Experimenting with local LLMs on macOS
blog.6nok.org·1d·
Discuss: Lobsters, Hacker News
📺Vintage Apple
Memory Integrity Enforcement: A complete vision for memory safety in Apple devices
security.apple.com·1d·
Discuss: Lobsters, Hacker News, r/hardware
🔧Unikernel Development
Was Action! The Best 8-Bit Language?
hackaday.com·5h
💾Retro Computing
Adventures in C++ Game Architecture
hoboker.substack.com·1d·
Discuss: Substack, r/programming
🔬Static Analysis
Using Haskell in Production
agentultra.com·13h·
Discuss: Hacker News
🔠Type-Level Programming
The Little Book of Everything
github.com·1d·
Discuss: Hacker News
➡️Category Theory
Billion-Line Days Demand Billion-Test Nights
momentic.ai·16h·
Discuss: Hacker News
🤖Program Synthesis
How to Prove False Statements: Practical Attacks on Fiat-Shamir
eprint.iacr.org·12h·
Discuss: Lobsters, Hacker News
🌐NetworkProtocols
Yet Another TypeSafe and Generic Programming Candidate for C
github.com·4d·
Discuss: Hacker News
⚙️PL Implementation
Oh, the Tea Spills: What’s Really Holding Up Carbon Language at Google?
lucisqr.substack.com·9h·
Discuss: r/programming
🔬Unikernels
Introduction to Nyquist and Lisp Programming
manual.audacityteam.org·1d·
Discuss: Hacker News
🧮Lambda Calculus